The DLV Java Wrapper
نویسنده
چکیده
Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programming engine, named DLV, allows to exploit disjunctive logic programs for solving complex problems. However, disjunctive logic programming systems are currently missing any interface supporting the integration between commonly used software development languages (like Java or C++) and disjunctive logic programs. This paper focuses on the DLV Wrapper, a library, actually implemented in Java, that “wraps” the DLV system inside an external application, allowing to embed disjunctive logic programs inside Object-Oriented source code.
منابع مشابه
A Java Wrapper for DLV
Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programming engine, named DLV, allows to exploit disjunctive logic programs for solving complex problems. However, disjunctive logic programming systems are currently missing any interface supporting the integration between commonly used ...
متن کاملA multiplatform Java wrapper for the BioAPI framework
We present a solution for the development of multiplatform and web-oriented Java applications for biometric authentication based on the BioAPI framework. Our proposal is a single Java Native Interface wrapper that is compatible with the BioAPI instantiations of Windows and Linux/Unix operating systems. Following a study of existing wrappers, we extended the open-source Linux/Unix wrapper to inc...
متن کاملFeatherweight Wrap Java: wrapping objects and methods
We present a language extension, which integrates in a Java like language a mechanism for dynamically extending object behaviors without changing their type. Our approach consists in moving the addition of new features from class (static) level to object (dynamic) level: the basic features of entities (representing their structure) are separated from the additional ones (wrapper classes whose i...
متن کاملAn Assertion Checking Wrapper Design for Java
The Java Modeling Language allows one to write formal behavioral specifications for Java classes in structured comments within the source code, and then automatically generate run-time assertion checks based on such a specification. Instead of placing the generated assertion checking code directly in the underlyling class bytecode file, placing it is a separate wrapper component offers many adv...
متن کاملJava-COM integration with JACOB using XML wrappers
ManyWindows-based legacy applications can be programmatically accessed using COM interfaces. However, calling COM components from Java is not straightforward. This report compares four open source Java-COM integration packages. A technique for typesafe Java-COM integration is presented. The technique is based on typesafe COM interface wrappers using jcom, java2com and JACOB libraries. Examples ...
متن کامل